flask: remove xen_flask_userlist operation
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Mon, 20 Jun 2016 14:04:19 +0000 (10:04 -0400)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 21 Jun 2016 14:55:30 +0000 (15:55 +0100)
commit559f439bfa3bf931414534ec0c46e5e8a21fa3ba
tree6ead71535bb68311c6a2f40621aa5c6beb22118e
parentd18224766fa2e6e0746e8c9e759a8e0cc8c87129
flask: remove xen_flask_userlist operation

This operation has no known users, and is primarily useful when an MLS
policy is in use (which has never been shipped with Xen).  In addition,
the information it provides does not actually depend on hypervisor
state (only on the XSM policy), so an application that needs it could
compute the results without needing to involve the hypervisor.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Acked-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Doug Goldstein <cardoe@cardoe.com>
tools/flask/policy/modules/dom0.te
xen/include/public/xen-compat.h
xen/include/public/xsm/flask_op.h
xen/include/xlat.lst
xen/xsm/flask/flask_op.c
xen/xsm/flask/include/security.h
xen/xsm/flask/policy/access_vectors
xen/xsm/flask/ss/mls.c
xen/xsm/flask/ss/mls.h
xen/xsm/flask/ss/services.c